schematic variable造句
例句與造句
- A variable such as this that ranges over formulae is called a'schematic variable '.
- It consists of stripping out all spurious grammatical features from the sentence ( such as gender, and passive forms ), and replacing all the expressions specific to " the subject matter " of the argument by schematic variables.
- With a second rule of uniform substitution ( US ), we can change each of these axiom schemes into a single axiom, replacing each schematic variable by some propositional variable that isn't mentioned in any axiom to get what we call the substitutional axiomatisation.
- Both formalisations have variables, but where the one-rule axiomatisation has schematic variables that are outside the logic's language, the substitutional axiomatisation uses propositional variables that do the same work by expressing the idea of a variable ranging over formulae with a rule that uses substitution.
- It's difficult to find schematic variable in a sentence. 用schematic variable造句挺難的